differentiation under the integral sign